Repository navigation
plan: D-LANESOCK — DR × DT64 property-to-lane socket and joint version witness - #1966
Merged
Merged
Conversation
…witness Normative spec for binding ClassId + SchemaRev + field position to a source-owned lane and its coordinate space (LaneSource), and for a joint witness that checks the DT64 class route and the DR source frame as an explicit pair (LaneBinding). Lists every refusal, including CoordinateSpace for a lane whose row order differs from the selection mask's. No store, clock, index or writer is added; admissions unchanged. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01XAqKMMJzKZrYnckXRC8x2U
|
Important
This repository does not receive automatic reviews because it has fewer than 10 stars.
 |
AdaWorldAPI
marked this pull request as ready for review
November 6, 2026 08:16
Codex Review SummaryThis comment shows the latest Codex review activity on this pull request.
ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Docs only. Adds the normative spec
.claude/plans/d-lanesock-dr-dt64-lane-socket-v1.md, plus board rows inINTEGRATION_PLANS.mdandSTATUS_BOARD.md. The implementation (D-LANESOCK-1) is a separate draft PR.The spec closes two coupled gaps left after #1964 and #1965.
A property-to-lane socket,
LaneSource, implemented by the source owner. It maps(classid, SchemaRev, field position)to a source-ownedLaneAddr, which carries:CoordSpace(whose row order the lane is in);Scopeit serves.The socket borrows the source's own lane through an associated type and never copies or reorders it.
A joint version witness,
BindStore::bind_lanes→LaneBinding. It checks the DT64 class route againstBindStore's own log and the DR frame against its ownFrameStore, as an explicit pair. It adds no merged clock.LaneBinding::checkrevalidates on the hot path without allocating.Every refusal is listed:
RefusalandFrameRefusalarms;RouteChanged,FieldNotInBasis,Unbound;CoordinateSpace, which stops an AD-slot row mask reading an Entra-order lane;Scope,MappingChanged,Vanished.The spec also covers how PSCustomObject-shaped projections, XVERWEIS (as a DT64
MethodRef) and Quack folds consume the binding.No store, clock, index or writer is added. The Gather ban, ADMISSION B, NotASide, OP-14, DRISA M1/M2 and D4/S-INGRESS are unchanged.
Board
INTEGRATION_PLANS.mdandSTATUS_BOARD.mdrows for D-LANESOCK.SUPERSESSION-INDEX.mdregenerated: no change.Generated by Claude Code